Compactness and Löwenheim–skolem Properties in Categories of Pre-institutions
نویسندگان
چکیده
The abstract model-theoretic concepts of compactness and Löwenheim–Skolem properties are investigated in the “softer” framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations of the classical, object-oriented notions of compactness. Furthermore, a notion of cardinal pre-institution is introduced, and a Löwenheim– Skolem preservation theorem for cardinal pre-institutions is presented.
منابع مشابه
A New Löwenheim-skolem Theorem
This paper establishes a refinement of the classical LöwenheimSkolem theorem. The main result shows that any first order structure has a countable elementary substructure with strong second order properties. Several consequences for Singular Cardinals Combinatorics are deduced from this.
متن کاملCOUNTABLY NEAR PS-COMPACTNESS IN L-TOPOLOGICAL SPACES
In this paper, the concept of countably near PS-compactness inL-topological spaces is introduced, where L is a completely distributive latticewith an order-reversing involution. Countably near PS-compactness is definedfor arbitrary L-subsets and some of its fundamental properties are studied.
متن کاملA Note on Extensions of In nitary Logic
We show that a strong form of the so called Lindstrr om's Theorem 4] fails to generalize to extensions of L ! and L : For weakly compact there is no strongest extension of L ! with the (;)-compactness property and the LL owenheim-Skolem theorem down to. With an additional set-theoretic assumption, there is no strongest extension of L with the (;)-compactness property and the LL owenheim-Skolem ...
متن کاملThe Philosophical Implications (if any) of the Löwenheim-Skolem Theorem
The Philosophical Implications (if any) of the Löwenheim-Skolem Theorem by Peter Hollo This paper examines the implications of the Löwenheim-Skolem Theorem for philosophy of mathematics, philosophy of language, and more broadly philosophy of science. Background theory and some justification for the issues in the thesis are given first, followed by a largely constructive proof of the Theorem. Th...
متن کاملSome Supervaluation-based Consequence Relations
In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatiz...
متن کامل